n (mathematics) A set together with a collection of mathematical objects such as other sets, relations or operations which endow it with additional stucture.